<?php
$GLOBALS["GAME_SERVER_PORT"] = 8001;
